We consider a deterministic rewrite system for combinatory logic over combinators , and . Terms will be represented by graphs so that reduction of a duplicator will cause the duplicated expression to be "shared" rather than copied. To each normalizing term we assign a weighting which is the number of reduction steps necessary to reduce the expression to normal form. A lambda-expression may be represented by several distinct expressions in combinatory logic, and two combinatory logic expressions are considered equivalent if (...) they represent the same lambda-expression (up to --equivalence). The problem of minimizing the number of reduction steps over equivalent combinator expressions (i.e., the problem of finding the "fastest running" combinator representation for a specific lambda-expression) is proved to be NP-complete by reduction from the "Hitting Set" problem. (shrink)

v. 1. Nicomachean ethics. Politics. The Athenian Constitution. Rhetoric. On Poetics.--v. 2. Logic.--v. 3. Physics. Metaphysics. On the soul. Short physical treaties.--v. 4. On the heavens. On generation and corruption. Meteorology. Biological treatises.

Students in an undergraduate legal and ethical issues course continually told the authors that they did not have time to study for the course because they were busy studying for their clinical courses. Faculty became concerned that students were failing to realize the value of legal and ethical concepts as applicable to clinical practice. This led the authors to implement a transformational learning experience in which students applied legal and ethical course content in a high-fidelity human simulation (HFHS) scenario. A (...) preliminary evaluation compared the new HFHS experience with in-person and online student groups using the same case. Based on both student and faculty perceptions, the HFHS was identified as the best of the three approaches for providing a transformational learning experience regarding legal and ethical content. (shrink)

We agree with Carruthers that evidence for metacognition in species lacking mindreading provides dramatic evidence in favor of the metacognition-is-prior account and against the mindreading-is-prior account. We discuss this existing evidence and explain why an evolutionary perspective favors the former account and poses serious problems for the latter account.

A substantial body of evidence suggests that autobiographical recollection and simulation of future happenings activate a shared neural network. Many of the neural regions implicated in this network are affected in patients with bipolar disorder , showing altered metabolic functioning and/or structural volume abnormalities. Studies of autobiographical recall in BD reveal overgeneralization, where autobiographical memory comprises primarily factual or repeated information as opposed to details specific in time and in place and definitive of re-experiencing. To date, no study has examined (...) whether these deficits extend to future event simulation. We examined the ability of patients with BD and controls to imagine positive, negative and neutral future events using a modified version of the Autobiographical Interview that allowed for separation of episodic and non-episodic details. Patients were selectively impaired in imagining future positive, negative, and neutral episodic details; simulation of non-episodic details was equivalent across groups. (shrink)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

The Common Anatomy Reference Ontology (CARO) is being developed to facilitate interoperability between existing anatomy ontologies for different species, and will provide a template for building new anatomy ontologies. CARO has a structural axis of classification based on the top-level nodes of the Foundational Model of Anatomy. CARO will complement the developmental process sub-ontology of the GO Biological Process ontology, using it to ensure the coherent treatment of developmental stages, and to provide a common framework for the model organism communities (...) to classify developmental structures. Definitions for the types and relationships are being generated by a consortium of investigators from diverse backgrounds to ensure applicability to all organisms. CARO will support the coordination of cross-species ontologies at all levels of anatomical granularity by cross-referencing types within the cell type ontology (CL) and the Gene Ontology (GO) Cellular Component ontology. A complete cross-species CARO could be utilized in other ontologies for cross-product generation. (shrink)

The objective of the study was to investigate the relationship between childhood IQ of parents and characteristics of their adult offspring. It was a prospective family cohort study linked to a mental ability survey of the parents and set in Renfrew and Paisley in Scotland. Participants were 1921-born men and women who took part in the Scottish Mental Survey in 1932 and the Renfrew/Paisley study in the 1970s, and whose offspring took part in the Midspan Family study in 1996. There (...) were 286 offspring from 179 families. Parental IQ was related to some, but not all characteristics of offspring. Greater parental IQ was associated with taller offspring. Parental IQ was inversely related to number of cigarettes smoked by offspring. Higher parental IQ was associated with better education, offspring social class and offspring deprivation category. There were no significant relationships between parental IQ and offspring systolic blood pressure, diastolic blood pressure, cholesterol, glucose, lung function, weight, body mass index, waist hip ratio, housing, alcohol consumption, marital status, car use and exercise. Structural equation modelling showed parental IQ associated with offspring education directly and mediated via parental social class. Offspring education was associated with offspring smoking and social class. The smoking finding may have implications for targeting of health education. (shrink)

While outcomes for children with T-cell acute lymphoblastic leukemia have improved dramatically, survival rates for patients with relapsed/refractory disease remain dismal. Prior studies indicate that glucocorticoid resistance is more common than resistance to other chemotherapies at relapse. In addition, failure to clear peripheral blasts during a prednisone prophase correlates with an elevated risk of relapse in newly diagnosed patients. Here we show that intrinsic GC resistance is present at diagnosis in early thymic precursor T-ALLs as well as in a subset (...) of non-ETP T-ALLs. GC-resistant non-ETP T-ALLs are characterized by strong induction of JAK/STAT signaling in response to interleukin-7 stimulation. Removing IL7 or inhibiting JAK/STAT signaling sensitizes these T-ALLs, and a subset of ETP T-ALLs, to GCs. The combination of the GC dexamethasone and the JAK1/2 inhibitor ruxolitinib altered the balance between pro- and anti-apoptotic factors in samples with IL7-dependent GC resistance, but not in samples with IL7-independent GC resistance. Together, these data suggest that the addition of ruxolitinib or other inhibitors of IL7 receptor/JAK/STAT signaling may enhance the efficacy of GCs in a biologically defined subset of T-ALL.Leukemia advance online publication, 30 May 2017; doi:10.1038/leu.2017.136. (shrink)

BackgroundIn the Canadian Alliance for Healthy Hearts and Minds (CAHHM) cohort, participants underwent magnetic resonance imaging (MRI) of the brain, heart, and abdomen, that generated incidental findings (IFs). The approach to managing these unexpected results remain a complex issue. Our objectives were to describe the CAHHM policy for the management of IFs, to understand the impact of disclosing IFs to healthy research participants, and to reflect on the ethical obligations of researchers in future MRI studies.MethodsBetween 2013 and 2019, 8252 participants (...) (mean age 58 ± 9 years, 54% women) were recruited with a follow-up questionnaire administered to 909 participants (40% response rate) at 1-year. The CAHHM policy followed a restricted approach, whereby routine feedback on IFs was not provided. Only IFs of severe structural abnormalities were reported.ResultsSevere structural abnormalities occurred in 8.3% (95% confidence interval 7.7–8.9%) of participants, with the highest proportions found in the brain (4.2%) and abdomen (3.1%). The majority of participants (97%) informed of an IF reported no change in quality of life, with 3% of participants reporting that the knowledge of an IF negatively impacted their quality of life. Furthermore, 50% reported increased stress in learning about an IF, and in 95%, the discovery of an IF did not adversely impact his/her life insurance policy. Most participants (90%) would enrol in the study again and perceived the MRI scan to be beneficial, regardless of whether they were informed of IFs. While the implications of a restricted approach to IF management was perceived to be mostly positive, a degree of diagnostic misconception was present amongst participants, indicating the importance of a more thorough consent process to support participant autonomy.ConclusionThe management of IFs from research MRI scans remain a challenging issue, as participants may experience stress and a reduced quality of life when IFs are disclosed. The restricted approach to IF management in CAHHM demonstrated a fair fulfillment of the overarching ethical principles of respect for autonomy, concern for wellbeing, and justice. The approach outlined in the CAHHM policy may serve as a framework for future research studies.Clinical trial registrationhttps://clinicaltrials.gov/ct2/show/nct02220582. (shrink)

The adamant and uniform pro-choice viewpoints expressed in each of the target articles demonstrates how mainstream bioethics has become a homogeneous and insular advocacy movement that seeks to ins...

While Michael Walzer's distinction between preemptive and preventive wars offers important categories for current reflection upon the Bush Doctrine and the invasion of Iraq, it is often treated as a modern distinction without antecedent in the classical Christian just war tradition. This paper argues to the contrary that within Augustine's corpus there are passages in which he speaks about the use of violence in situations that we would classify today as preemptive and preventive military action. While I do not claim (...) that Augustine makes an explicit distinction between the two types of war (such would be anachronistic), I will argue that based on examinations of "De libero arbitrio" I.v.11-12 and "De civitate Dei" I.30 Augustine's discussions of hypothetical cases or actual wars in history provide insights helpful for contemporary reflection on preemptive and preventive wars. (shrink)

This volume consists of seven contributions to a symposium held in 1970 to commemorate the centennial of Saint John's University. Carlo Giacon and Bernard Cohen explicate the relationship of philosophy and modern science. Joseph Owens and John E. Smith treat the question of God as it is posed in philosophy today. Richard McKeon interrelates humanism, civility, and culture; while Vernon Bourke evaluates humanism as a possible basis for moral philosophy. Finally, Paul Ramsey offers some pithy comments on the present (...) trend which abhors man's irreverence for the non-human environment but waxes enthusiastic over the prospect of man's limitless self-modification. Though these papers are brief, for the most part they are extensively footnoted; and thus they provide a handy survey of current thinking on the indicated issues.--J. M. V. (shrink)

How many words is a bilingual 2-year-old supposed to know or say in each of her languages? Speech and language therapists or researchers lack the tools to answer this question, because several factors have an impact on bilingual language skills: gender, amount of exposure, mode of acquisition, socio-economic status and the distance between L1 and L2. Unfortunately, these factors are usually studied separately, making it difficult to evaluate their weight on a unique measure of vocabulary. The present study measures the (...) contribution of the following factors to the vocabulary scores of bilingual toddlers: i) gender; ii) sibling ranking; iii) relative amount of exposure to each language; iv) mode of exposure; v) SES; vi) linguistic distance; vii) language spoken between parents. Close to the child’s second birthday, parents of 278 UK-based bilinguals completed successively: a 100-word version of the Oxford-CDI, the CDI in the child’s Additional Language, a family questionnaire, and the Language Exposure Questionnaire. Thirty-six British-English-AL pairs were considered, with languages contrasted on a second-language-learning scale : for example, Dutch and French are close to British-English, while Polish or Cantonese are more distant. Data from the corpus were included in two mixed-effect models, one with the English scores in comprehension as the dependent variable, and the other with production scores. The seven factors listed above were included as predictors. The amount of English exposure was the strongest predictor of comprehension scores = 9.35, p <.005, β = 0.02, t = 3.08, p <.005), followed by the language that parents speak between themselves = 14.94, p <.001, β = 1.37, t = 3.76, p <.0005), linguistic distance = 6.92, p <.01, β = -0.74, t = -2.66, p <.01) and age = 4.86, p <.05, β = 0.55, t = 2.17, p <.05). In production, gender = 13.57, p <.0005, β = -0.91, t = -03.72, p <.0005), amount of exposure to English = 13.57, p <.0005, β = -0.91, t = -03.72, p <.0005), the language that parents speak between themselves = 11.85, p <.005, β = 1.09, t = 3.41, p <.001), and the mother’s occupation = 4.51, p <.05, β = 0.63, t = 2.13, p <.05) were the significant predictors. The more English parents use to address one another, the more English words the child says and understands. This surprising result could be simply explained by the fact that parents who speak English together are also more likely to speak English to their child. The main results of this study is that linguistic distance is a powerful predictor of toddlers’ vocabulary in English, with children learning two close languages growing their vocabulary faster than those learning distant languages. (shrink)

MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...) and History of Linguistic Science, Series 111: Studies in theHistory of Linguistics, Volume 17.) Amsterdam: John Benjamins B.V., 1979.x + 218 pp. Dfl. 65. Theoria cum Praxi. Zum Verhaltnis von Theorie und Praxis im 17. und 18. Jahrhundert. (Akten des 111. Internationalen Leibnizkongress, Hannover, 12. bis 17.November 1977, Band 111: Logik, Erkenntnistheorie, Wissenschaftstheorie, Metaphysik, Theologie.) Wiesbaden: Franz Steiner Verlag, 1980. vii + 269 pp. DM 48. CLASSICAL AND NON-CLASSICAL LOGICS MICHAEL CLARK, The place of syllogistic in logical theory. Nottingham: University of Nottingham Press, 1980. ix + 151 pp. £3.00. A.F. PARKER-RHODES, The theory of indistinguishables. Dordrecht, Boston and London: D. Reidel Publishing Company, 1981. xvii + 216 pp. Dfl.90.00/$39.50. NICHOLAS RESCHER and ROBERT BRANDOM, The logic of inconsistency. Oxford:Basil Blackwell, 1980. x + 174 pp. f 11.50. MISCELLANEOUS J. ZELENY, The logic of Marx. Translated from the German by T. Carver. Oxford: Basil Blackwell, 1980. xcii + 247 pp. £12.50. FELIX KAUFMANN, The infinite in mathematics. Edited by Brian McGuinness. Introduction by E. Nagel. Translation from the German by Paul Foulkes. Dordrecht: Reidel, 1978. xvii + 235 pp. Dfl 85/$39.50 (cloth); Dfl 45/$19.95 (paper). PAMELA MCCORDUCK, Machines who think. San Francisco: W.H. Freeman and Company, 1979. xiv + 275 pp. $14.95. J. MITTELSTRASS (ed.), Enzyklopadie Philosophie und Wissenschaftstheorie Bd. 1 : A-G. Mannheim, Wien, Ziirich: Bibliographisches Institut, 1980. 835 pp. DM 128. (shrink)

The purpose of the article is to reveal philosophical ideas in the mythology and folklore of the indigenous peoples of North America. An important question: "Can we assume that the spiritual culture of the American Indians contained philosophical knowledge?" remains relevant today. For example, European philosophy is defined by appeals to philosophers of the past, their texts. The philosophical tradition is characterized by rational argumentation and formulation of philosophical questions that differ from the questions of ordinary language. However, the problem (...) lies in the term "philosophy", which belongs to the so-called "philosophical untranslatability" and has many definitions. The question of whether philosophy is exclusively a phenomenon of European culture is still controversial. In the article, the concept of philosophy is used in a broad sense, which allows the analysis of the intellectual heritage of the culture of the indigenous people of North America for philosophical ideas. Theoretical basis of the study consists of primary sources, which are limited due to the "documentary horizon". It contains myths about the Twins, ritual rhetoric, examples of dream interpretation practices and the practical wisdom of tribal chiefs. The Chronicle of "Vallamolum", or "the Red List", testifies to the special idea of the Indians about history and their own historicity. Analysis of cosmogonical and cosmological ideas reveals the special features of the anthropological ideas of the North American Indians. Combined with the philosophical ideas of the Puritan philosophy of the settlers of New England, this analysis allows us to explore in more detail the processes of acculturation. The study uses critical literature from scholars and leading researchers of the wisdom and philosophy of Native Americans, such as Michael Yellow Bird, J. Baird Callicott, Henry Wadsworth Longfellow, Dennis H. McPherson, Lewis Henri Morgan, Thomas M. Norton-Smith, J. Douglas Rabb, Paul Radin, Jon Ewbank Manchip White. The views of early American philosophers: R. Williams, W. Penn, R. W. Emerson, on the problem of the relationship between the culture of settlers and the indigenous people of North America are noteworthy. Originality lies in the application of historical and philosophical methodology, identifying the features of philosophizing in the spiritual culture and worldview of the indigenous people of North America. Conclusions. In the conclusions, the obtained results complement the history of the origin and development of philosophical thought of the early American philosophy. (shrink)

--Father Hart, by J.D. Collins.--The meeting of the ways, by J.A. McWilliams.--On the notion of subsistence, by J. Maritain.--Metaphysics and unity, by E.G. Salmon.--What is really real? By W.N. Clarke.--Professor Scheltens and the proof of God's existence, by F.X. Meehan.--On the mathematical approach to nature, by V.E. Smith.--The assimilation of the new to the old in the philosophy of nature, by L.A. Foley.--In seipsa subsistere, by I. Brady.--St. Thomas and the unity of man, by A.C. Pegis.--Law and morality, by (...) G.B. Phelan.--Thomistic thoughts on government and rulers, by I. Smith. (shrink)